Самая большая электронная библиотека рунета. Поиск книг и журналов

Principles of the Spin Model Checker

Автор:
Размер книги: 3.37 Mb

Logica matematica per l'informatica

Автор:
Размер книги: 5.64 Mb

Mathematical logic for computer science

Автор:
Категория: Mathematics, Algebra, Mathematical logic
Размер книги: 2.35 Mb

Mathematical logic for computer science

Автор:
Категория: Mathematical logic
Размер книги: 2.40 Mb

Ada for software engineers

Автор:
Размер книги: 2.63 Mb

Mathematical Logic For Computer Science

Автор:
Размер книги: 20.38 Mb

Mathematical Logic for Computer Science

Автор:
Размер книги: 21.94 Mb

Ada for Software Engineers

Автор:
Размер книги: 2.32 Mb